Tag

#formal verification

2 articles

Mistral's open-source Leanstral 1.5 aces formal math benchmarks and catches real bugs in code

Learn how Mistral AI's Leanstral 1.5 model combines formal verification with AI to solve mathematical problems and find real bugs in open-source code.

Jul 326

Qodo raises $70M for code verification as AI coding scales

This explainer explores the critical challenge of code verification in AI-generated software, examining why ensuring AI code correctness matters and how verification systems work.

Mar 3069